Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
by Markus Roggenbach,Antonio Cerone,Bernd-Holger Schlingloff,Gerardo Schneider,Siraj Ahmed Shaikh
ISBN 13: 9783030387990
Format: Hardcover (552 pages) Publisher: Springer Published: 07 Jul 2022
Save for later